Srinivas Devadas: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Secure Processors Part I: Background, Taxonomy for Secure Enclaves and Intel SGX Architecture

Costan, Victor, Lebedev, Ilia, Devadas, Srinivas

Journal:

Foundations and Trends® in Electronic Design Automation

Year:

2017

Language:

english

File:

PDF, 2.86 MB

english, 2017

2

Secure Processors Part II: Intel SGX Security Analysis and MIT Sanctum Architecture

Costan, Victor, Lebedev, Ilia, Devadas, Srinivas

Journal:

Foundations and Trends® in Electronic Design Automation

Year:

2017

Language:

english

File:

PDF, 1.10 MB

english, 2017

3

Secure program execution via dynamic information flow tracking

Suh, G. Edward, Lee, Jae W., Zhang, David, Devadas, Srinivas

Journal:

ACM SIGOPS Operating Systems Review

Year:

2004

Language:

english

File:

PDF, 257 KB

english, 2004

4

[ACM Press the 44th annual conference - San Diego, California (2007.06.04-2007.06.08)] Proceedings of the 44th annual conference on Design automation - DAC '07 - Physical unclonable functions for device authentication and secret key generation

Suh, G. Edward, Devadas, Srinivas

Year:

2007

Language:

english

File:

PDF, 354 KB

english, 2007

5

PUF Modeling Attacks on Simulated and Silicon Data

Ruhrmair, Ulrich, Solter, Jan, Sehnke, Frank, Xu, Xiaolin, Mahmoud, Ahmed, Stoyanova, Vera, Dror, Gideon, Schmidhuber, Jurgen, Burleson, Wayne, Devadas, Srinivas

Journal:

IEEE Transactions on Information Forensics and Security

Year:

2013

Language:

english

File:

PDF, 1.79 MB

english, 2013

6

[IEEE 2018 51st Annual IEEE/ACM International Symposium on Microarchitecture (MICRO) - Fukuoka, Japan (2018.10.20-2018.10.24)] 2018 51st Annual IEEE/ACM International Symposium on Microarchitecture (MICRO) - DAWG: A Defense Against Cache Timing Attacks in Speculative Execution Processors

Kiriansky, Vladimir, Lebedev, Ilia, Amarasinghe, Saman, Devadas, Srinivas, Emer, Joel

Year:

2018

Language:

english

File:

PDF, 301 KB

english, 2018

7

[ACM Press the 32nd ACM/IEEE conference - San Francisco, California, United States (1995.06.12-1995.06.16)] Proceedings of the 32nd ACM/IEEE conference on Design automation conference - DAC '95 - Code optimization techniques for embedded DSP microprocessors

Liao, Stan, Devadas, Srinivas, Keutzer, Kurt, Tjiang, Steve, Wang, Albert

Year:

1995

Language:

english

File:

PDF, 118 KB

english, 1995

8

A Stateless Cryptographically-Secure Physical Unclonable Function

Herder, Charles, Ren, Ling, van Dijk, Marten, Yu, Meng-Day, Devadas, Srinivas

Journal:

IEEE Transactions on Dependable and Secure Computing

Year:

2016

Language:

english

File:

PDF, 4.46 MB

english, 2016

9

[ACM Press the 40th Annual International Symposium - Tel-Aviv, Israel (2013.06.23-2013.06.27)] Proceedings of the 40th Annual International Symposium on Computer Architecture - ISCA '13 - Design space exploration and optimization of path oblivious RAM in secure processors

Ren, Ling, Yu, Xiangyao, Fletcher, Christopher W., van Dijk, Marten, Devadas, Srinivas

Year:

2013

Language:

english

File:

PDF, 2.90 MB

english, 2013

10

Analysis and Design of Regular Structures for Robust Dynamic Fault Testability

Bryan, Michael J., Devadas, Srinivas, Keutzer, Kurt

Journal:

Year:

1993

Language:

english

File:

PDF, 3.43 MB

english, 1993

11

[ACM Press the 34th annual conference - Anaheim, California, United States (1997.06.09-1997.06.13)] Proceedings of the 34th annual conference on Design automation conference - DAC '97 - Analysis and evaluation of address arithmetic capabilities in custom DSP architectures

Sudarsanam, Ashok, Liao, Stan, Devadas, Srinivas

Year:

1997

Language:

english

File:

PDF, 105 KB

english, 1997

12

[IEEE 2013 IEEE High Performance Extreme Computing Conference (HPEC) - Waltham, MA, USA (2013.09.10-2013.09.12)] 2013 IEEE High Performance Extreme Computing Conference (HPEC) - Integrity verification for path Oblivious-RAM

Ren, Ling, Fletcher, Christopher W., Yu, Xiangyao, van Dijk, Marten, Devadas, Srinivas

Year:

2013

Language:

english

File:

PDF, 241 KB

english, 2013

13

[IEEE 2015 IEEE 23rd Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM) - Vancouver, BC, Canada (2015.5.2-2015.5.6)] 2015 IEEE 23rd Annual International Symposium on Field-Programmable Custom Computing Machines - A Low-Latency, Low-Area Hardware Oblivious RAM Controller

Fletcher, Christopher W., Ren, Ling, Kwon, Albert, Dijk, Marten van, Stefanov, Emil, Serpanos, Dimitrios, Devadas, Srinivas

Year:

2015

Language:

english

File:

PDF, 308 KB

english, 2015

14

Power Estimation Under User-Specified Input Sequences and Programs

Monteiro, JosÃ©, Devadas, Srinivas

Journal:

Integrated Computer-Aided Engineering

Year:

1998

File:

PDF, 243 KB

1998

15

[IEEE 2010 IEEE International Workshop on Information Forensics and Security (WIFS) - Seattle, WA, USA (2010.12.12-2010.12.15)] 2010 IEEE International Workshop on Information Forensics and Security - FPGA PUF using programmable delay lines

Majzoobi, Mehrdad, Koushanfar, Farinaz, Devadas, Srinivas

Year:

2010

Language:

english

File:

PDF, 243 KB

english, 2010

16

Robust and Reverse-Engineering Resilient PUF Authentication and Key-Exchange by Substring Matching

Rostami, Masoud, Majzoobi, Mehrdad, Koushanfar, Farinaz, Wallach, Dan S., Devadas, Srinivas

Journal:

IEEE Transactions on Emerging Topics in Computing

Year:

2014

Language:

english

File:

PDF, 1.10 MB

english, 2014

17

Power Estimation Using Probability Polynomials

José Costa, Luis Silveira, Srinivas Devadas, José Monteiro

Journal:

Design Automation for Embedded Systems

Year:

2004

Language:

english

File:

PDF, 320 KB

english, 2004

18

[ACM Press the 2007 ACM workshop - Alexandria, Virginia, USA (2007.11.02-2007.11.02)] Proceedings of the 2007 ACM workshop on Scalable trusted computing - STC '07 - Offline untrusted storage with immediate detection of forking and replay attacks

van Dijk, Marten, Rhodes, Jonathan, Sarmenta, Luis F. G., Devadas, Srinivas

Year:

2007

Language:

english

File:

PDF, 371 KB

english, 2007

19

[ACM Press the 1997 international symposium - Monterey, California, United States (1997.08.18-1997.08.20)] Proceedings of the 1997 international symposium on Low power electronics and design - ISLPED '97 - Switching activity estimation using limited depth reconvergent path analysis

Costa, José C., Monteiro, José C., Devadas, Srinivas

Year:

1997

Language:

english

File:

PDF, 856 KB

english, 1997

20

[IEEE 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) - Macau, China (2019.11.3-2019.11.8)] 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) - Benchmarking and Workload Analysis of Robot Dynamics Algorithms

Neuman, Sabrina M., Koolen, Twan, Drean, Jules, Miller, Jason E., Devadas, Srinivas

Year:

2019

File:

PDF, 1.50 MB

2019

21

Learning biophysically-motivated parameters for alpha helix prediction

Blaise Gassend, Charles W O'Donnell, William Thies, Andrew Lee, Marten van Dijk, Srinivas Devadas

Journal:

BMC Bioinformatics

Year:

2007

Language:

english

File:

PDF, 353 KB

english, 2007

22

[IEEE 2014 IEEE 20th International Symposium on High Performance Computer Architecture (HPCA) - Orlando, FL, USA (2014.2.15-2014.2.19)] 2014 IEEE 20th International Symposium on High Performance Computer Architecture (HPCA) - Suppressing the Oblivious RAM timing channel while making information leakage and program efficiency trade-offs

Fletchery, Christopher W., Ren, Ling, Yu, Xiangyao, Van Dijk, Marten, Khan, Omer, Devadas, Srinivas

Year:

2014

Language:

english

File:

PDF, 2.46 MB

english, 2014

23

Efficient Traversal of Beta-Sheet Protein Folding Pathways Using Ensemble Models

Shenker, Solomon, O'Donnell, Charles W., Devadas, Srinivas, Berger, Bonnie, Waldispühl, Jérôme

Journal:

Journal of Computational Biology

Year:

2011

Language:

english

File:

PDF, 789 KB

english, 2011

24

[ACM Press the 40th Annual International Symposium - Tel-Aviv, Israel (2013.06.23-2013.06.27)] Proceedings of the 40th Annual International Symposium on Computer Architecture - ISCA '13 - The locality-aware adaptive cache coherence protocol

Kurian, George, Khan, Omer, Devadas, Srinivas

Year:

2013

Language:

english

File:

PDF, 797 KB

english, 2013

25

[ACM Press Conference proceedings - Orlando, Florida, United States (1990.06.24-1990.06.27)] Conference proceedings on 27th ACM/IEEE design automation conference - DAC '90 - Synthesis and optimization procedures for robustly delay-fault testable combinational logic circuits

Devadas, Srinivas, Keutzer, Kurt

Year:

1990

Language:

english

File:

PDF, 1.04 MB

english, 1990

26

[IEEE 2015 International Conference on Parallel Architecture and Compilation (PACT) - San Francisco, CA, USA (2015.10.18-2015.10.21)] 2015 International Conference on Parallel Architecture and Compilation (PACT) - Tardis: Time Traveling Coherence Algorithm for Distributed Shared Memory

Yu, Xiangyao, Devadas, Srinivas

Year:

2015

Language:

english

File:

PDF, 850 KB

english, 2015

27

Modeling ensembles of transmembrane β-barrel proteins

Jérôme Waldispühl, Charles W. O'Donnell, Srinivas Devadas, Peter Clote, Bonnie Berger

Journal:

Proteins: Structure, Function, and Bioinformatics

Year:

2008

Language:

english

File:

PDF, 1.15 MB

english, 2008

28

[IEEE 2014 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - San Jose, CA, USA (2014.11.2-2014.11.6)] 2014 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - Keynote addresses: Can EDA solve the problems of electronics designs for the cars of the future?

van Staa, Peter, Devadas, Srinivas

Year:

2014

Language:

english

File:

PDF, 228 KB

english, 2014

29

[ACM Press the 50th Annual IEEE/ACM International Symposium - Cambridge, Massachusetts (2017.10.14-2017.10.18)] Proceedings of the 50th Annual IEEE/ACM International Symposium on Microarchitecture - MICRO-50 '17 - Banshee

Yu, Xiangyao, Hughes, Christopher J., Satish, Nadathur, Mutlu, Onur, Devadas, Srinivas

Year:

2017

Language:

english

File:

PDF, 390 KB

english, 2017

30

A synthesis-based test generation and compaction algorithm for multifaults

Srinivas Devadas, Kurt Keutzer, Sharad Malik

Journal:

Journal of Electronic Testing

Year:

1993

Language:

english

File:

PDF, 1.34 MB

english, 1993

31

Application-aware deadlock-free oblivious routing

Kinsy, Michel A., Cho, Myong Hyon, Wen, Tina, Suh, Edward, van Dijk, Marten, Devadas, Srinivas

Journal:

ACM SIGARCH Computer Architecture News

Year:

2009

Language:

english

File:

PDF, 614 KB

english, 2009

32

VLSI: Systems on a Chip || Placement Benchmarks for 3-D VLSI

Silveira, Luis Miguel, Devadas, Srinivas, Reis, Ricardo

Year:

2000

Language:

english

File:

PDF, 1.05 MB

english, 2000

33

[ACM Press Conference proceedings - Orlando, Florida, United States (1990.06.24-1990.06.27)] Conference proceedings on 27th ACM/IEEE design automation conference - DAC '90 - A unified approach to the decomposition and re-decomposition of sequential machines

Ashar, Pranav, Devadas, Srinivas, Newton, A. Richard

Year:

1990

Language:

english

File:

PDF, 835 KB

english, 1990

34

A Lockdown Technique to Prevent Machine Learning on PUFs for Lightweight Authentication

Yu, Meng-Day, Hiller, Matthias, Delvaux, Jeroen, Sowell, Richard, Devadas, Srinivas, Verbauwhede, Ingrid

Journal:

IEEE Transactions on Multi-Scale Computing Systems

Year:

2016

Language:

english

File:

PDF, 1.48 MB

english, 2016

35

LDAC

Shi, Qingchuan, Kurian, George, Hijaz, Farrukh, Devadas, Srinivas, Khan, Omer

Journal:

ACM Transactions on Architecture and Code Optimization

Year:

2016

Language:

english

File:

PDF, 2.69 MB

english, 2016

36

Identification and authentication of integrated circuits

Blaise Gassend, Daihyun Lim, Dwaine Clarke, Marten van Dijk, Srinivas Devadas

Journal:

Concurrency and Computation: Practice and Experience

Year:

2004

Language:

english

File:

PDF, 250 KB

english, 2004

37

An automata-theoretic approach to behavioral equivalence

Srinivas Devadas, Kurt Keutzer

Journal:

Integration, the VLSI Journal

Year:

1991

Language:

english

File:

PDF, 1.21 MB

english, 1991

38

Techniques for power estimation and optimization at the logic level: A survey

José Monteiro, Srinivas Devadas

Journal:

Journal of Signal Processing Systems

Year:

1996

Language:

english

File:

PDF, 1.44 MB

english, 1996

39

[ACM Press the seventh ACM workshop - Raleigh, North Carolina, USA (2012.10.15-2012.10.15)] Proceedings of the seventh ACM workshop on Scalable trusted computing - STC '12 - A secure processor architecture for encrypted computation on untrusted programs

Fletcher, Christopher W., Dijk, Marten van, Devadas, Srinivas

Year:

2012

Language:

english

File:

PDF, 1.86 MB

english, 2012

40

Secure and Robust Error Correction for Physical Unclonable Functions

Devadas, Srinivas, Yu, Meng-Day

Journal:

IEEE Design and Test

Year:

2015

Language:

english

File:

PDF, 298 KB

english, 2015

41

The locality-aware adaptive cache coherence protocol

Kurian, George, Khan, Omer, Devadas, Srinivas

Journal:

ACM SIGARCH Computer Architecture News

Year:

2013

Language:

english

File:

PDF, 797 KB

english, 2013

42

Access-controlled resource discovery in pervasive networks

Sanjay Raman, Dwaine Clarke, Matt Burnside, Srinivas Devadas, Ronald Rivest

Journal:

Concurrency and Computation: Practice and Experience

Year:

2004

Language:

english

File:

PDF, 561 KB

english, 2004

43

Boolean satisfiability and equivalence checking using general Binary Decision Diagrams

Pranav Ashar, Abhijit Ghosh, Srinivas Devadas

Journal:

Integration, the VLSI Journal

Year:

1992

Language:

english

File:

PDF, 905 KB

english, 1992

44

Speeding up Exponentiation using an Untrusted Computational Resource

Marten Van Dijk, Dwaine Clarke, Blaise Gassend, G. Edward Suh, Srinivas Devadas

Journal:

Designs, Codes and Cryptography

Year:

2006

Language:

english

File:

PDF, 199 KB

english, 2006

45

[ACM Press the 49th Annual Design Automation Conference - San Francisco, California (2012.06.03-2012.06.07)] Proceedings of the 49th Annual Design Automation Conference on - DAC '12 - Self-aware computing in the Angstrom processor

Hoffmann, Henry, Agarwal, Anant, Chandrakasan, Anantha P., Devadas, Srinivas, Holt, Jim, Kurian, George, Lau, Eric, Maggio, Martina, Miller, Jason E., Neuman, Sabrina M., Sinangil, Mahmut, Sinangil, Y

Year:

2012

Language:

english

File:

PDF, 836 KB

english, 2012

46

[IEEE 2011 International Conference on Field Programmable Logic and Applications (FPL) - Chania, Greece (2011.09.5-2011.09.7)] 2011 21st International Conference on Field Programmable Logic and Applications - Heracles: Fully Synthesizable Parameterized MIPS-Based Multicore System

Kinsy, Michel A., Pellauer, Michael, Devadas, Srinivas

Year:

2011

Language:

english

File:

PDF, 407 KB

english, 2011

47

[ACM Press Conference proceedings - Orlando, Florida, United States (1990.06.24-1990.06.27)] Conference proceedings on 27th ACM/IEEE design automation conference - DAC '90 - Sequential test generation at the register-transfer and logic levels

Ghosh, Abhijit, Devadas, Srinivas, Newton, A. Richard

Year:

1990

Language:

english

File:

PDF, 961 KB

english, 1990

48

[ACM Press the 2012 ACM Workshop - Raleigh, North Carolina, USA (2012.10.19-2012.10.19)] Proceedings of the 2012 ACM Workshop on Cloud computing security workshop - CCSW '12 - Towards an interpreter for efficient encrypted computation

Fletcher, Christopher W., Dijk, Marten van, Devadas, Srinivas

Year:

2012

Language:

english

File:

PDF, 1.31 MB

english, 2012

49

[ACM Press the 23rd ACM symposium - San Jose, California, USA (2011.06.04-2011.06.06)] Proceedings of the 23rd ACM symposium on Parallelism in algorithms and architectures - SPAA '11 - Brief announcement

Lis, Mieszko, Shim, Keun Sup, Cho, Myong Hyon, Fletcher, Christopher W., Kinsy, Michel, Lebedev, Ilia, Khan, Omer, Devadas, Srinivas

Year:

2011

Language:

english

File:

PDF, 459 KB

english, 2011

50

[ACM Press the 15th international conference - Sorrento, Italy (2001..-..)] Proceedings of the 15th international conference on Supercomputing - ICS '01 - Analytical cache models with applications to cache partitioning

Suh, G. Edward, Devadas, Srinivas, Rudolph, Larry

Year:

2001

Language:

english

File:

PDF, 834 KB

english, 2001

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски